many sorted predicate calculus
多种类谓词演算
热门查询
- firework n. 烟火；激烈情绪
- lookup n. 查找；检查
- hydroxyapatite n. [矿物] 羟磷灰石
- production n. 成果；产品；生产；作品
- clan n. 宗族；部落；集团 n. (Clan)人名；(英)克兰
- Montenegrin a. 黑山的 n. 黑山人
- collaborative adj. 合作的，协作的
- syphilitic n. 梅毒病人 adj. 梅毒的；感染梅毒的
- dinoflagellate n. 腰鞭毛虫 腰鞭毛虫的
- ducal n. (Ducal)人名；(法)迪卡尔 adj. 公爵的；公爵领地的；象公爵的
- circulating v. 循环（circulate的ing形式）；流通 adj. 循环的；流通的
- Sodom n. 所多玛(罪恶之地)
- Maxim n. 格言；准则；座右铭 n. (Maxim)人名；(英、罗、俄、哈萨)马克西姆
- Gabler [人名] [英格兰人姓氏] 盖布勒职业名称，收税者或高利贷者，来源于古法语，含义是“税，收入”(tax,revenue)+er; [人名] [英格兰人姓氏] 盖布勒 Gable的变体
- Guyana n. 圭亚那（拉丁美洲国家）
- ouzo n. （希腊）茴香烈酒；饭后酒
- vga abbr. [计]视频图形阵列（Video Graphics Array）；可变增益放大器（Variable-Gain Amplifier）
- aside prep. 在…旁边 n. 旁白；私语，悄悄话；离题的话 adv. 离开，撇开；在旁边
- prevalent adj. 流行的；普遍的，广传的
- grama n. 格兰马草（美国西部产的一种牧草） n. (Grama)人名；(法、罗)格拉马
考试词汇表
- hard as a flint
- hard as a stone
- hard automation
- hard based seat
- hard boiled egg
- hard center noz
- hard china clay
- hard chine boat
- hard chine hull
- hard clam shell
- hard conditions
- hard core fault
- hard core pinch
- hard cosmic ray
- hard currencies
- hard disc drive
- hard disk array
- hard disk drive
- hard drawn wire
- hard error rate
